SmartDocs AI - Intelligent Documentation Search with Algolia MCP Server
dev.to·12h·
Discuss: DEV
🌀Brotli Internals
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·3h·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳Context free grammars
Binary Search in a 2D Matrix
mmhaskell.com·2d
📐Error Bounds
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·23h
🌳Context free grammars
Categorical Features: The Backbone of Search & Recs Engineering
shaped.ai·2d
🧠Learned Indexing
Machine Learning Fundamentals: dimensionality reduction
dev.to·12h·
Discuss: DEV
📐Linear Algebra
Solving the Context Rot Problem for Coding Agents
install.md·7h·
Discuss: Hacker News
🌳Incremental Parsing
Unlock Gemini’s reasoning: A step-by-step guide to logprobs on Vertex AI
developers.googleblog.com·6h
⚡Proof Automation
Students, here are 5 key things to know when learning how to train large language models
techradar.com·1d
💻Local LLMs
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·14h·
Discuss: DEV
📝Concrete Syntax
From Equal Weights to Smart Weights: OTPO’s Approach to Better LLM Alignment
towardsdatascience.com·1d
🧮Kolmogorov Bounds
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·1h·
Discuss: Hacker News
🔗Concatenative Programming
How to reason from first principles
caseyhandmer.wordpress.com·8h
🎯Proof Tactics
My favorite use-case for AI is writing logs
vickiboykis.com·1d
🌳Incremental Parsing
Asymmetry of Verification and Verifier's Law
jasonwei.net·1d·
Discuss: Hacker News
🔮Proof Search
JavaScript Microtasks: A Comprehensive Guide the Event Loop
codedynasty.dev·13h·
Discuss: Hacker News
🌊Stream Processing
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·2d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers